Automatic Test Generation System for EFSM-Based Protocols
نویسندگان
چکیده
منابع مشابه
Automatic Test Generation for EFSM-based Systems
The present work addresses the problem of conformance testing for EFSM-based systems and especially, the problem of automatically generating executable test cases. First, the most important description methods are presented. Then, the test generation methods for FSM (finite state machines)-based systems are described. However, since systems are more understood as extended finite state machines ...
متن کاملEFSM-Based Test Case Generation: Sequence, Data, and Oracle
Model-based testing has been intensively and extensively studied in the past decades. Extended Finite State Machine (EFSM) is a widely used model of software testing in both academy and industry. This paper provides a survey on EFSM-based test case generation techniques in the last two decades. All techniques in EFSM-based test case generation are mainly classified into three parts: test sequen...
متن کاملValidation of SDL specifications using EFSM-based test generation
0950-5849/$ see front matter 2009 Elsevier B.V. A doi:10.1016/j.infsof.2009.06.005 q This research was supported by the MKE (Minis Korea, under the ITRC (Information Technology Resea supervised by the IITA (Institute of Information Tech 2007-(C1090-0801-0032). * Corresponding author. Tel.: +1 972 883 6619; fax E-mail address: [email protected] (W.E. Wong) Existing methods for testing an SDL sp...
متن کاملAutomatic Generation of Test Sequences form EFSM Models Using Evolutionary Algorithms
Automated test data generation through evolutionary testing (ET) is a topic of interest to the software engineering community. While there are many ET-based techniques for automatically generating test data from code, the problem of generating test data from an extended finite state machine (EFSMs) is more complex and has received little attention. In this paper, we introduce a novel approach t...
متن کاملTest Generation for a Protocol Specified in SDL with Complex Loops by Event-based EFSM Modeling
Test case generation for a network protocol by extended finite state machine (EFSM) based modeling is a well-known technique in formal methods in conformance testing. An input output based EFSM (IOEFSM) is a popular model for a protocol specified in the specification and description language (SDL) because an SDL process diagram is based on an input-driven EFSM. However, as an SDL specification ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Engineering
سال: 2012
ISSN: 1877-7058
DOI: 10.1016/j.proeng.2012.01.284